Known Vulnerabilities in php-horde (Ubuntu package) 5.1.5+debian1